Minor corrections to debian packaging files