Updated Prover Install Script