it seems the gl_LightSource[i].halfVector data is wrong on the Intel HD 3000 graphics card with the latest driver (, running OpenGL 3.1 and GLSL 1.40.

I tried computing it by myself and my phong shader now works fine.

Is this happening because the built-ins are deprecated and have been removed?