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