bootstrap file and Vagrantfile modifications to make vagrant-hostmanager plugin work
trivial merge