Fixing Debian config files