ghc-modi takes "cmd arg".