libip4tc0-dbgsym has no copyright file