+ if (movit_shader_model == MOVIT_GLSL_130_AS_110) {
+ string contents = read_file(base + ".130." + extension);
+ assert(contents.find("#version 130") == 0);
+ contents[10] = '1'; // Change from 130 to 110.
+ return contents;
+ } else if (movit_shader_model == MOVIT_GLSL_130) {