svoid runAsMainWithUserHome(S progID, File virtualUserHome) {
  runAsMainWithParams(progID, _userHome := f2s(virtualUserHome));
}