Log Message: Add --without-gmp to configure arguments when gmp is disabled. Just to be on the safe side (I don't see a difference).