timeval: clock_gettime() for Windows.