SSH в Vagrant box в Windows?

Я использую Vagrant для запуска виртуальной машины VirtualBox в Windows. На других платформах я могу просто

$ vagrant ssh

подключиться к виртуальной машине.

Как мне подключиться к этому ящику Vagrant в Windows?

Способ использования PuTTy, предложенный в документации Vagrant, также не сработал:

http://docs-v1.vagrantup.com/v1/docs/getting-started/ssh.html