If the autoconf inputs are changed, then try to reconfigure.  Don't
worry if we can't do it, though.