(GLUI) Silence warnings
(frontend.c) Fix include