properly. Clean a few odds & ends of main configuration. Fix a long-standing bug that let libgcc.a get rebuilt again and again, e.g., once for make build, once for make install