fix debian/copyright
