Updated make proofs script