Fix file encoding (was DOS, now Unix utf8)