(WIN32) fix/rename the util_gettimeofday()