Use better configure options for libgcc. (Identical .so binary.)