added some fixes to win32-gettimeofday