Fix file name encodings in diagnostics