vSphere HA and short hostnames