FIX #1621: bug in Windows code for getCPUTime