fix the build system bug that Koen found (linux-syscalls.h missing), and a couple of other small things