add command line paramter support for more than one subprover