Headers shouldn't include config.h (see HACKING).