dns resolution monkey patch