fix size_type to GLsizei cast error