GLUT_DOUBLE is apparently necessary on Win7