Rename 'copy_of_copy_of_php72compat.php'