UTF-8 is more likely to be correct than iso-8859-1 nowdays. However, exit and werror (and write?) should probably do automatic conversion. Rev: lib/master.pike.in:1.466