Red Hat Enterprise Linux: Updated devtoolset-4 packages that fix several bugs and add various enhancements
are now available for Red Hat Developer Toolset 4.1.