Add ability to kill ghc-modi.