Re: [GHC] #9087: Executables in the Linux binaries are not stripped (was: Executables in the 7.8.2 Linux i386 binary tarball are not stripped)