Vagrant box name updated into Vagrantfile generated file