Fixing debian packaging