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