fix undefined reference to clock_gettime