Systematically #include "config.h". Better fix for #256.