specify Sphinx version used by Jenkins