Compute game ids correctly
Fix bug in launch_game