use SYS_* in <sys/syscall.h> rather than self-defined __NR_*