Update ghci configuration