use "machines" to ssh