Vagrantfile Vagrant box name bug fixed