update debian packaging files