This minor maintenance release provides the usual round of recent build configuration improvements and janitorial cleanups.