added .ghci