patch for Digital/Tru64 (bug 10635) - forwarded to OpenGL ARB as well