Update ghci.conf