Add another ghci config file