Use get-pip.py