Add ghci's config