Fix pip installation of Sphinx