removed ghci_history