Updated to a newer version of gmp; fixes #5810
drwxr-xr-x - libraries