Debian packaging: Update locations of some cross-references in debian/copyright