[Bug 232997] TeXmacs refuses to work on i586