Index: tools/build-ccheck.sh
===================================================================
--- tools/build-ccheck.sh	(revision 6f587701a6fc5c00b54d6172505b54c617e22f9e)
+++ tools/build-ccheck.sh	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -29,5 +29,5 @@
 
 SYCEK_GIT="https://github.com/jxsvoboda/sycek sycek"
-SYCEK_REV="e6514952b360705737a0cd930ada76c657cc6844"
+SYCEK_REV="42fe0d77819f0ec05f17e40ea54c7b62073c8e97"
 
 if [ ! -d sycek ]; then