Correct package name for Debian systems