Re: [GHC] #10376: arm/linux linking failure