http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56779
--- Comment #9 from Jonathan Wakely <redi at gcc dot gnu.org> --- Could the submitter and/or Daniel please provide the complete configure command used to build GCC (e.g. from the output of 'gcc -v', this is supposed to be part of any bug report, see http://gcc.gnu.org/bugs/ for details).