The text 9e3ae35a4587, as Debian 7 (Wheezy) shipped it.
script to convert LaTeX file to DVI
latex2dvi(1p) on Linux now
