It seems like just changing the symbol name to __gmp_ was NOT the fix, sorry I must've confused myself - reverting the commit as a whole still fixes it though.
Best regards and a merry Christmas Jannik _______________________________________________ gmp-bugs mailing list [email protected] https://gmplib.org/mailman/listinfo/gmp-bugs
