(GLUI) Build fixes