qed does not require HOST_IP