up #412 : fix compilation due to API change in Gmsh (old version 2.5.1 on ubuntu
precise)