Coq's makefile doesn't do anything with "configure", so its time stamp is not a problem.
But this is more secure, anyway, since we want people who do "git pull" to have the benefit
of the new install script.