more finetuning of the vagrant configs