Index: tools/build-ccheck.sh
===================================================================
--- tools/build-ccheck.sh	(revision e510b28950b21cc4232930f8691a2200a3e39c6d)
+++ 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