On 5 Jun 2012, at 19:40, Thomas Weber wrote: > msh uses gmsh gmsh is actually just an optional dependency of msh which is needed only by two functions which call it via a "system ()" call. If gmsh causes so much trouble I can just change those functions so that they check whether a gmsh binary is available and give a warning if it isn't. or, as an alternative, you could simply patch msh on debian removing the two functions that require gmsh. c.