lib32gomp1 has no copyright file