fix gmsh.option.setString("Mesh.MshFileVersion", "x.y") -> gmsh.option.setNumber("Mesh.MshFileVersion", x) (cf. #914)