file encoding patch