Fix src/config.h once more.