Fix debian packaging script