remove ghci config for now