Hello, I found a difference in "mktexfmt" between unix and win32: * mktexfmt runs "user mode" of fmtutil on unix (r43793) * mktexfmt.exe on win32 runs in "system mode" (r44449) Is this difference intended, and which behavior is better? Thanks, Hironobu Yamashita