Default to using gettimeofday()