config-debian.diff
