ditching TeXmacs - it segfaults