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