more work on GL_ARB_texture_compression