TeXLive version is effectively identical anyway, and it caused an unneccessary file name collision. Fixes: #29671