Vagrantfile changes for Vagrant 1.8