rename vagrantfile