Updated debian packaging