change multi prover arguments to the latest format