Use gettimeofday for finer tests.