update ghci.conf