Different users may have same workspace, fixes #114 (lib)