Expose akaros_syscall_sync through libc (XCC)