> (I'm not sure about the origin of xetexd.h though
Neither I,
It's created by the web2c conversion program(s). We should add a
comment at the top with the specifics, I see now.
so I added the include near the top of texmfmp.h
As good as anywhere else, as long as it works.
k