Rewrite of Vagrantfile