Fix Vagrantfile version upgrade