libgmp-10.dll missing

[Asksuper User]

I installed GNUStep http://www.gnustep.org/experience/Windows.html but when compiling helloworld.m I got libgmp-10.dll missing.

What should I do to make it work ? (I'm on Windows 7 64 bits)

I have already made it work a few months ago though I think I was on Vista 32 bits then.

I found here

https://rb.freedroid.org/r/1101/diff/?expand=1

166 
    Nota:, if an error window opens complaining about libgmp-10.dll missing, then you used a bugged version of the MinGW installer
167 
    (some DLLs are not correctly installed). To fix the problem, just type the following commands:
168 
     cp /mingw/bin/libgmp-10.dll /mingw/libexec/gcc/mingw32/4.5.2
169 
     cp /mingw/bin/libmpc-2.dll /mingw/libexec/gcc/mingw32/4.5.2
170 
     cp /mingw/bin/libmpfr-1.dll /mingw/libexec/gcc/mingw32/4.5.2
171 
     cp /mingw/bin/libiconv-2.dll /mingw/mingw32/bin
172 
     cp /mingw/bin/libintl-8.dll /mingw/mingw32/bin

But I only found libgmp-3.dll in /mingw/bin/

I tried to reinstall multiple times but nothing fixed.