Debian packaging changes from Steffen to get missing files in packages.