Upgrade VagrantFile to work with 1.3.5