Re: [GHC] #7281: GHC 7.4.2 build fails on Fedora17