updated ghci.conf