I had assumed every platform would have `glut` since it's part of `PyOpenGL`. Is that not the case? I guess it won't be the case once your `gloo` API PR is merged?