updating debian packaging