https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69725 --- Comment #19 from Romain Geissler <romain.geissler at amadeus dot com> --- Note: don't forget to apply the gmp patch to the "configure" file too (wasted some time myself because I did...)