The text f8438a23cbb0, as Debian 7 (Wheezy) shipped it.
DVI output format.
Lire::OutputFormats::DVI(3pm) on Linux now
