remove unused do_gettimeofday (was part of a debug)