better error messages when GMP is not present Rev: bin/install.pike:1.55 Rev: src/configure.in:1.372 Rev: src/modules/Gmp/configure.in:1.12