Re: [GHC] #3571: Bizzarely bloated binaries