Revert to using ghci-ng