gmsh fix