fix generating syscall-names.h