[Bug 9879] Segmentation fault when using nvidia 32bit compatibility OpenGL libraries with 64-bit driver