June 2023 Bug fix patch

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