Fix for wrong package name in Debian 7