Updated debian packaging info