Giving a config to each minion instead of trying to make Vagrant play nice with the hostnames of the servers