Use the right vagrant command for SSH.