gmsh could be find to be very old on some system