really fix debian/copyright