What is the proper and reliable way to move the Socrates workspace? Can you just do a 'mv' command or are there some dependencies?