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