Re: [GHC] #9307: wave4main in nofib fails