Remove change to use mpz_primorial_ui; was added late so not portable