added the clock_gettime function