Added ghci config