libx32gomp1 has no copyright file