Correct package names for Debian.