added a .ghci