Update Vagrantfile for Vagrant1.2