Re: [GHC] #9087: Executables in the Linux binaries are not stripped