The text 6d29dd05a59d, as Debian 7 (Wheezy) shipped it.
Convert TeX DVI file to PDF using ghostscript and dvips
dvipdf(1) on Linux now
