Vagrantfile for Vagrant v1.2.7