Initialize the default resolver name to NULL
New option -R <resolver name> to automatically pick resolver config from a name