------- Comment #5 from dominiq at lps dot ens dot fr 2008-11-23 12:02 ------- Apparently the failures I have reported in comment #4 disappear if I rebuild libstdc++. Sorry for the noise. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38210