explicitly use strip command instead of ghc stripping