[PATCH v2 7/7] opengl32: Add more extension aliases manually.