change the encoding of the source file