1To customize the settings defined in these headers, create a folder 2"user_config_headers" in the "build" folder and copy the headers you want to 3modify into that folder. Your custom headers will be ignored by the version 4control system and the build system will automatically use them instead of the 5original ones. But be aware that when changes are commited to the files in 6"config_headers", you will have to apply them to your custom headers manually. 7