Rename 'copy_of_Redis.php'