extension ARB_shadow
-# The name got changed in OpenGL 3.0; mark as optional to circumvent the
-# deprecation
+# The name is different in OpenGL 3.0 and OpenGL ES but semantics are
+# essentially the same; keep using the old name for now because the aliasing
+# is a bit hairy
optional GL_COMPARE_R_TO_TEXTURE_ARB