Minor fixes to Vagrant config file, trying to get Travis tests to work again.