revert leaderboard back to its version on devel and make it work