Vagrantfile adapted to be used with Vagrant 1.1