fix file encoding problem