Use gettimeofday/_ftime if available for more accurate times.