ghci works now