change URL to vagrant box; #2804

Bigger fix would be updating the box for the rename.