some minor changes to run.windows.py to make it work for actual windows users