Try a workaround to get the right ssh port.