Searching in libgcc/config/i386/32