Updated the proof running script