fix for pip 20.0 issue

pip 20.0 released yesterday broke virtual environments where it was installed. They immediately fixed it with 20.0.1, but broken installations cannot be recovered and have to be removed.

Unfortunately some of the virtual environments used in the builds got corrupted. This change addresses the problem.