added termite and ghci