gmsh hole