Update debian packaging.