config-debian.diff