fix a bug that script raises errors when ghc-modi has exited immediately after launched
close process that checker does not keep