v2.1.14; use dnsResolveEx in PAC if possible; make_config.py support third plugin