Re: [GHC] #12726: GHC 8.0.1: ghc --make broken on Raspberry Pi