Get rid of HAVE_GETTIMEOFDAY