(GLUI) Fix warnings