Wie bei Mila oder dem beschten Koch hab ich hier das selbe Problem, GMP Version stimmt nicht mit dem Server überein. Hab sowohl Rodins letzen link hier versucht wie auch direkt über den Donwload link auf der HP.
Das Problem hatte ich auch, aber das hat sich bei mir gelöst indem ich die gmp.dll-Datei vom letzten Link mit der vom ersten Link ersetzt habe.