add stdlib to proxy/gl.h