trick to make pyopengl3.0 work on win32 (see http://www.py2exe.org/index.cgi/PyOpenGL)