update debian packaging.