Rename 'copy_of_php72compat_const.php'