Add a setting to specify the DNS server port