src/Pure/Admin/remote_dmg.scala

             case List(SSH.Target(user, host), tar_gz_file, dmg_file) =>
               (user, host, Path.explode(tar_gz_file), Path.explode(dmg_file))
             case _ => getopts.usage()
           }
 
-        val ssh = SSH.init(Options.init)
+        val ssh = SSH.init_context(Options.init)
         using(ssh.open_session(user = user, host = host, port = port))(
           remote_dmg(_, tar_gz_file, dmg_file, volume_name))
       }
     }, admin = true)
 }