I can't be certain as I've never played it, but they might use SDL for the audio and/or UI elements only, and something else for the 3D elements that make up the bulk of gameplay.