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).
Merge pull request #33 from wking/public-default-config

summary: Adjust to the newly-public DEFAULT_CONFIG