opencl.h not included in devdriver 3.1, but others are?

By just installing devdriver_3.1_linux_64_256.40.run I get the following headers installed:

coleb@c2050/scr/coleb$ ls -lhtr /usr/include/CL/

total 84K

-r--r--r-- 1 root root  32K Aug  9 03:11 cl_platform.h

-r--r--r-- 1 root root  42K Aug  9 03:11 cl.h

-r--r--r-- 1 root root 6.2K Aug  9 03:11 cl_gl.h

If I install cudatoolkit_3.1_linux_64_rhel5.4.run I can get the rest of the headers inside the cuda install:

coleb@c2050/scr/coleb$ ls -lhtr /usr/local/cuda/include/CL/

total 96K

-rw-r--r-- 1 root root 1.7K Aug  9 03:24 opencl.h

-rw-r--r-- 1 root root  32K Aug  9 03:24 cl_platform.h

-rw-r--r-- 1 root root  42K Aug  9 03:24 cl.h

-rw-r--r-- 1 root root 6.2K Aug  9 03:24 cl_gl.h

-rw-r--r-- 1 root root 2.1K Aug  9 03:24 cl_gl_ext.h

-rw-r--r-- 1 root root 2.8K Aug  9 03:24 cl_ext.h

Why doesn’t the devdriver install all the headers? Only a subset seems weird.