Ok, I can do it like that. I thought it was a mistake since one
win32-only arch dependency is aleady present within tlpkg:
I agree that it is a mistake, somewhere. This just doesn't seem like
the right time to try to fix it -- lots of chance to screw up other
things in the process.
Thanks,
k