simplify Ssh.execute*()