Rename 'copy_of_ReaderInterface.php'