sophia: use gettimeofday for sr_utime