Fix Makefile to recreate config.h when config.def.h changes

Changes to config.def.h are not seen by the make system and hence adding options results in compile-errors.