fix .ghci