flawed because the timestamp file is already updated when Makefile.global is remade, and the rule for config.h never gets run.
