http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54283
--- Comment #16 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot Uni-Bielefeld.DE> 2013-01-07 12:08:27 UTC --- I can now confirm that using g++ 4.7 as bootstrap compiler works out of the box. Even with the problems I've observed with g++ 4.4, this seems a suitable way out. Maybe the requirement/suggestion to use a bootstrap compiler supporting -static-libstdc++ should be documented? Thanks. Rainer