Win32 getProcessElapsedTime: use a higher-resolution time source