Update Vagrantfile for Vagrant 1.5