sS massageVNCOptions(S s) {
  S sub = "passwordfile=";
  int i = indexOf(s, sub);
  if (i < 0) ret s;
  int j = i+l(sub);
  if (isLetter(charAt(s, j)))
    ret print("massaged", insertString(s, j, f2s(userDir()) + fileSeparator()));
  ret s;
}