rename the old compiler proof scripts to avoid them being built