> What does 'rpm -q gmp' return on your machine? Sorry for the stupid question. Do you have gmp installed?