bugfix in install_pip.py