Flummoxed by IT: Using proxy when running pip