Fix unicode filenames mangled by PHP exec.