Changed some settings for the Vagrant hostmanager plugin in the Vagrantfile