debian packaging updates