allow --with-gmp=build