All our known configuration keys should have a #define, so that all keys are collected in the header file.