switch to ghc-modi