summary: Adjust to the newly-public DEFAULT_CONFIG

This keeps us up to date with the core commit e9dc1dd (settings: Make
DEFAULT_CONFIG public, 2013-03-24).