(gettimeofday): New function, defined if necessary.