The text 0831d309efe5, as Debian 3.1 (Sarge) shipped it.
Set the font selection priority.
mfont_set_selection_priority(3m17n) on Linux now
