Fix encoding in source files