Fix debian configuration