Fix bug related to Vagrant Plugin HostManager aliases