fix undefined clock_gettime error