Added the customized Vagrantfile