updating debian packaging files