use proper distribution name for Sphinx