Fix build when gmp isn't installed