python-pip bug workaround