Check for gettimeofday.