gettimeofday was undefined