Remove use of clock_gettime in favor of gettimeofday.