add clock_gettime in src/libtiming.c