Okay, I finally decided to remove GLUT. Currently I do not want to waste time on this. We will just rely on the platform-specific code to setup render context. However, we may come back to this if at some later time we found this quite useful.