set an upper limit of number of ghc-modi processes