[PATCH v3 4/9] opengl32: Alias GL_ARB_texture_compression to GL_VERSION_1_3.