src: convert filename encoding on Windows