add ghci config