https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94297
--- Comment #8 from Jens Seifert <jens.seifert at de dot ibm.com> --- Too old libgmp got picked up. Setting LD_LIBRARY_PATH=/lib64 solved the issue.
jens.seifert at de dot ibm.com Tue, 07 Apr 2020 10:13:15 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94297
--- Comment #8 from Jens Seifert <jens.seifert at de dot ibm.com> --- Too old libgmp got picked up. Setting LD_LIBRARY_PATH=/lib64 solved the issue.