modify ghc-mod settings