More robust process_game; fix leaderboard generation crash.