Vagrant: hostmanager settings; cosmetics