Dear Siep Kroonenberg,
So this has been observed before. As I already mentioned, MiKTeX does return the value set by setenv. So does Linux, as I just tested.
A difference may be that I'm using a dynamic library for lua52. I think it may be possible that TL/w32 is right and MiKTeX and Linux are wrong. Thanks, Akira
