./config --with-gmp=/usr/local