Add ghci config.