debian packaging fix