Repairing debian packaging