update debian packaging