Fix configure when we don't have a gmp library
drwxr-xr-x - libraries