Rename 7.1.php to 7.1_old.php