Github clone of original tgz of GLUI library