Re: ghc API in platforms with no GHCi