Adding vagrant-hostmanager plugin support, try to deal with DNS machine names