Update repair_all.pl