ghci settings.