The text 9bc746fd15ea, as Debian 3.1 (Sarge) shipped it.
Set encoding for output
PX_set_targetencoding(3) on Linux now
