Make sure gmp is a dependency of gmsh