Improved managing ghc-modi.