Fix debian control