Ok, I didn't know that.
Anyway, I managed to get it working, in case anyone is wondering how:
Normal = tcamerarot * (gl_NormalMatrix * gl_Normal);
EyeDir = tcamerarot * (gl_ModelViewMatrix * gl_Vertex).xyz;
tcamerarot is the upper left 3/4 of the transposed gl_ModelViewMatrix.