update ghci