Is this actually the right behavior? Does resetting the encoding change the system wide default encodings?