[Bug 7022] New: makefile includes wrong config.h