fixes to debian/copyright