Re: [GHC] #9414: GHC 7.8.3 compilation fails on Raspberry PI