ghci maxhistorysize