(GLUI) Silence warnings