A copy of OpenGL headers from Mesa, needed on older Linux distros