Add gettimeofday declaration in sys/time.h