Separately maintained copy of the GLUI source