Updated debian packaging files