Update gettimeofday.h