fix --with-gmp to correctly handle situation when $withval=yes