removed dependendy on #extension GL_EXT_gpu_shader4
Authored by: brunoherbelin 2015-11-06
Parent: [r1044]
Child: [r1046]