Fix build when gmp isn't installed
drwxr-xr-x - libraries