libtool links with 32-bit version of libstdc++.so on a 64-bit target platform when multiple version of gcc are installed
I've just found the answer to my own question: in addition to setting correctly LD_LIBRARY_PATH, I needed to pass the argument LDFLAGS=-L/local/opt/gcc-4.3.5/lib64 to the configure script.Thank you all for your inputs.