Emulation for Miniguru and Tex Yoda for X11.