fix file encoding issue