update to debian packaging.