Debian package-compatibility changes