Rename 'copy_of_Extension.php'