Get VNC port more explicitly, to prevent accidentally getting a SPICE port