Revise fileencodings