I had to run with --with-gmp=/usr/local