Index: tools/build-ccheck.sh
===================================================================
--- tools/build-ccheck.sh	(revision 91ece11b37af37970a1f99c6a8d892ea9b98420c)
+++ tools/build-ccheck.sh	(revision 27a50409dce9700f27d59ad1112a7d3f521db05f)
@@ -29,5 +29,5 @@
 
 SYCEK_GIT="https://github.com/jxsvoboda/sycek"
-SYCEK_REV="14f0aadad8bb2f17eef030a74b3591377ad57343"
+SYCEK_REV="b19c5200eadc4c1c4322aff42682bb1539b0bd18"
 
 if [ ! -d sycek ]; then