Currently if a developer has the project built and then runs git pull after a ~year and then make, bad outcomes can result. Even though configure will usually run again, and the build might work, strange things can happen at runtime.

We need to guarantee make always does the right thing at any time.