[GHC] #9087: Executables in the 7.8.2 Linux i386 binary tarball are not stripped