function toWin32Path(pth) {
    return pth.replace(/[/]/g, '\\');
}
toWin32Path converts the given path to the win32 form. On Linux, / will be
replaced with \\.

@param pth. Path to transform.
@return string Win32 path.