Removed a useless #include <config.h>.