http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50678
--- Comment #70 from Georg <georggcc at googlemail dot com> 2013-02-02 23:53:35 UTC --- Don't know whether this matters in any way, but I should perhaps mention that the system of comment #65 does not have autogen installed.