move configuration_file from settings to core, fixes #4