Change the python binary that is used for get-pip.py