Fixing benchmarker.py for Windows use