Attempting to fix the syscall numbers for clock_gettime