follows the change of Network.DNS.receive in dns 0.3.5.