Fixed some package-naming bugs + old leaderboard files