deleted .ghci~