made this depend on NDK code to get DNS server IP
merge