Pip install fails in CI, runs fine in SSH

Circle.CI uses obsolete setuptools (released in 2013). I don’t know how to ask them to make the latest setuptools/pip.