Fix discovery of gettimeofday() by autoconf.