Simplify build instructions of libgcc. (The libgcc binary is identical.)