The text e4f042ca6d1e, as Debian 4.0 (Etch) shipped it.
Set encoding for output
PX_set_targetencoding(3) on Linux now
