libos-nuse: revert header files again for syscall.h