debian packaging fixes