Merge pull request #4750 from nelhage/nelhage-config-no-section config_file: Don't crash on options without a section