debian/copyright fixes for license version