fix more missing inclusions of <config.h>