Rename 'copy_of_RequiredOption.php'