Andre, I think I got a bit closer to the culprit! Step by step I zoomed in on what the SIGSEGV is causing.
In src/mathed/math_factory.C readSymbols() calls math_font_available(tmp.inset) math_font_available() calls augmentFont(f, name) augmentFont() calls searchFont(name) Then I get stuck, but when I replace the body of math_support.C::searchFont() merely by fontinfo * searchFont(string const & name) { return &fontinfos[8]; } the problem is solved. Are you having any idea what could be "wrong" with the for-loop in searchFont() ? I wonder whether the place of "string cmd_" in "struct fontinfo" would make a difference, like putting this as the last element. However, that would be really odd.... I thought I let you know this before I move on with testing such weird things. Cheers, Rob.