Rename 'token-set.php'