refs #2918 Fixed Windows file separator problem for HTML5 export.