Add 'clock_gettime' system call.