Added ghci config.