We don't want theia to use /tmp/ this prevents running more than one
instance (for example we can only install vscode extensions once. golang
language server is also broken)