http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55041
--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-10-23 21:11:11 UTC --- Nope it must be something else, I saw the failures on some machines already many days ago (sorry for not having filed a PR, I thought it was my fault, some sort of config glitch, like defective Python or something)
