updated debian packaging files