Changed make-proofs to a BASH script