Revert [17400], uses the right header for gettimeofday