http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59688 --- Comment #1 from Jürgen Reuter <juergen.reuter at desy dot de> --- Created attachment 31578 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31578&action=edit config log of my gcc build