Fix problem with Windows file links (backslash in JavaScript string)