Vagrantfile: make compatible with vagrant 1.0.1