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