libx32gcc1 has no copyright file