add missing #include <config.h>