fix package name for Debian 7