This patch fixes an issue that prevented Jubei users to upload their results onto the leaderboard.