}
/* XXX Conceptually a bit weird place for this, but I couldn't really come up
- with anything better that would still be transparent. */
+ with anything better that would still be transparent. */
if(extensions.count("GL_ARB_shader_objects"))
init_arb_shader_objects();
if(extensions.count("GL_ARB_vertex_shader"))