interim
Corrected problems with different system timer behavior between windows and *nix