Fix debian config