http://gcc.gnu.org/onlinedocs/libstdc++/manual/abi.html does not seem to have updates for gcc 4.7 in sections 3,4,7. e.g. should there be an entry in section 3 like... GCC 4.7.0: libstdc++.so.6.0.17 thanks, and happy new year! -Kenny