Putty (on my Windows machine) was using ISO 8859-1, which explains the differences in the kinds of characters I saw above 127.<BR><BR>Now, I can change the character encoding to CP437 in Putty but not ...