up #412 : add missing Gmsh header