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.