change the encoding of this file