time_eri now uses gettimeofday for timing.