Profile Windows issues with w32time and friends