IDN name resolution on Linux. Note: produces out-of-spec JSON because non-ASCII characters in hostname is not properly JSON encoded