Re: How to directly strip ghc generated binaries