actually implement clock_gettime()