lib32gcc1 has no copyright file