Workspace temporary file uses same name for all users

Workspace TMP-File uses same name for all users. This leads to surprising messages about file access rights at startup when trying another user. I guess the user's name should be part of the name or the file should be created in the user's home directory anyway.
