updated debian packaging