Don't include <config.h> twice; this doesn't work in some cases,