Fix some debian config files