update .ghci