Change text encoding of .txt file