Implement Max's suggestion of providing a dependency on a configure- generated file now, instead of using the config.done mechanism.
Implement Max's suggestion of providing a dependency on a configure-
generated file now, instead of using the config.done mechanism.