Release console for ghci wrapper