Updated name of vagrant box to match download file name.