Change the encodings produced