Going back to ghci-no-sandbox