[Diego Giraldez]

Thanks Benoi

Here is the requested command:

c++ -print-file-name=libstdc++.so
/usr/lib/gcc-lib/i386-redhat-linux/3.2/libstdc++.so

It's gcc 3.2 version. Any other idea?

Best regards. Diego.