Этот хедер там как-то хитро включается (тоже помню долбался). Есть 2 сборки: с "десктопным" (обычным) OpenGL и "OpenGL ES". Они выкладывали обе, качайте ту что надо. Если "нету" - вот тогда придется собирать (счастье само Вас найдет
). И еще: в 5.4 есть возможность работать вообще без этого хедера (видать многих он достал)
Igors, спасибо за совет. Буду искать, может удастся скачать. Иначе буду собирать. Отпишусь как получится.