vagrantfile for v1.2+