/gnu/store/wrps5gqn8m6vx4q7clfad68j57d9g1as-texlive-tetex-51265-checkout.drv