Easily switch the version of Sphinx to be used