.. ok, now I see, you probably got it from here: http://gcc.gnu.org/onlinedocs/libstdc++/faq.html#faq.installation that will be fixed of course. As you can easily guess by now, should be just: http://gcc.gnu.org/install/ Paolo.