config file for ghci