added ghci config