update ghci_alt