http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55028 --- Comment #3 from oleg at smolsky dot net 2012-10-24 18:36:44 UTC --- Can this be debugged by hacking installed libstdc++ headers? If so, could you point to what needs exporting/testing please?