7ff13f4ee1
(otherwise if another loader such as Glew is accessible, the opengl3 backend might automatically use it). [#2919, #2798]