gl_ext.h looks like platform specific file, therefore it should be in the platform folder