OSX: set DNS server for Internet gateway