Rename 'copy_of_ResultInterface.php'