fix gettimeofday