Vagrantfile for Vagrant v1.4.0