Fix debian