Rename 'class-wp-session-tokens.php'