Avoid race condition in make
Under undetermined conditions, the autoheader make rule is triggered,
which deletes the generated header but does not recreate it, resulting
in a build failure later on when that header cannot be found. This
assures that the autotools are not rerun out of order.