svoid runWithUserHome(S progID, File virtualUserHome) {
  runWithParams(progID, _userHome := f2s(virtualUserHome));
}