Fix another remaining use of PIP_INDEX_URL.

Scripts directly embedding a manual pip url break elements like pypi
which offer a local mirror, and that plays havoc with offline builds -
they stay rather more online than desirable :).

Change-Id: I2edf05f0144e11158756125af6afbf63efc5ee95
Merge "Fix another remaining use of PIP_INDEX_URL."