s4-dnsserver: Always encode user-supplied names when looking up DNS records