Rename 'php72compat_const.php'