The recent workspace history data is stored in vrestore.slk.
I think you're talking about def_workspace_info which is really user configurable data (Project>All Workspaces).
In general, it allows paths but it's not supposed copy Windows paths to Unix, or Mac. It needs to use the "config" attribute to specify the platform. We will fix this. Good catch!
