Temporary kludge to keep SemTeX from stalling on UTF-8

Actual UTF support should follow eventually