Eliminate missing yum dependencies boost141/boost141-devel. boost-1.41 is now the default.
Small bug fixes.