http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55221
--- Comment #1 from Anton Shterenlikht <mexas at bristol dot ac.uk> 2012-11-08 09:49:08 UTC --- On the same system gcc47 updated fine to gcc-4.7.3.20121103
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55221
--- Comment #1 from Anton Shterenlikht <mexas at bristol dot ac.uk> 2012-11-08 09:49:08 UTC --- On the same system gcc47 updated fine to gcc-4.7.3.20121103