The text a53e759e1eb0, as Debian 3.0 (Woody) shipped it.
Chop hevea output files
-o
hacha(1) on Linux now
