addressed the problem that Koen discovered about sys/linux-syscalls.h