>Is there a configure option or other already-implemented way to get >libstdc++ to work with a C library implementation that provides its own ><cxxx> headers? You should try --enable-cheaders=c -benjamin