Index: abi/include/abi/proc/uarg.h
===================================================================
--- abi/include/abi/proc/uarg.h	(revision 27a50409dce9700f27d59ad1112a7d3f521db05f)
+++ abi/include/abi/proc/uarg.h	(revision 9ad591a998a7fe026c78d1e7538c2535c7a43eac)
@@ -39,5 +39,5 @@
 #include <_bits/native.h>
 
-typedef void (*uspace_thread_function_t)(void *);
+typedef void (uspace_thread_function_t)(void *);
 
 /** Structure passed to uinit kernel thread as argument. */
Index: tools/build-ccheck.sh
===================================================================
--- tools/build-ccheck.sh	(revision 27a50409dce9700f27d59ad1112a7d3f521db05f)
+++ tools/build-ccheck.sh	(revision 9ad591a998a7fe026c78d1e7538c2535c7a43eac)
@@ -29,5 +29,5 @@
 
 SYCEK_GIT="https://github.com/jxsvoboda/sycek"
-SYCEK_REV="b19c5200eadc4c1c4322aff42682bb1539b0bd18"
+SYCEK_REV="14f0aadad8bb2f17eef030a74b3591377ad57343"
 
 if [ ! -d sycek ]; then