fix file encoding