revamp ghci config