setting up Vagrant

I am brand new to phpStorm and am using a demo version. I am trying to set up PHPStorm to use a vagrant box. The instructs say:

2. Configure Vagrant project settings

From the Settings | Project Settings | Vagrant window, specify the required parameters for Vagrant integration. The path to the Vagrant executable must be provided, as well as the instance folder (can be empty to use the project directory).

But under Tools, Vagrant, my screen looks different than the "configuring phpStorm to work with a VM". First I only have vagrant.exe not vagrant.bat in my vagrant/bin folder. I am sure that is just a detail but when I try to add a Vagrant Box and the system to tries to add Lucid32 and uses the path http://files.vagrantup.com/lucid32.box in the box URL, I get an error "stdin is not a tty". So I can't add the vagrant box. I am using Win7. What am I doing wrong?