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