correcting error in syscall.h