Fix debian packaging