The top-level configure for gcc and sources now turns on -static-libstdc++ option, and I need to be able to add an option to turn that back off. Unfortunately, there is no -shared-libstdc++ option.