Add missing #include "config.h"