[Bug 232997] TeXmacs unusable: segfauls directly on startup