fix invalid character in filename on Windows