delete the old compiler proof scripts