This minor maintenance release provides the usual recent collection of build configuration improvements and janitorial cleanups, plus a bunch more from years past that had been sitting in git for a long time.
