config.h revision 672716ccdeaa011ffd27d6d88f6a892587fe2c1f