Use gettimeofday() if clock_gettime() is not available