Fix the output type of glGetString*.