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