sS sshPasswordFileName(S user, S server) {
  ret user + "@" + server + ".ssh.pass";
}