updated default Vagrantfile