debian packaging update