This minor maintenance release provides some hopefully very non-dangerous build configuration improvements and janitorial cleanups.