Update gl_lib3.js