Like that:
Code:
  SDL_GL_SetAttribute(SDL_GL_STENCIL_SIZE, 8);
I'll take a look at that later.