The text c0d15fae9b10, as Debian 6.0 (Squeeze) shipped it.
Set encoding for output
PX_set_inputencoding(3) on Linux now
