ghc-insert-module now uses ghc-modi.