Further change to debian config