--with-gmp= should be --with-gmp-prefix=