Never try to use the system gmp on Windows
drwxr-xr-x - libraries