fix dist_ssh.exp