changed sphinx package name for Debian