correct box name

I made this modification so I don't redownload a box I already have locally.
Vagrant up finished ok.