The text 8efb8bf0fb6d, as Debian 6.0 (Squeeze) shipped it.
Convert TeX DVI file to PDF using ghostscript and dvips
dvipdf(1) on Linux now
