Fix some annoying issues with spaces in develop.py, for windows.