How to directly strip ghc generated binaries