/gnu/store/0mjlb4669b3s0b075bl3dvcdp3mixihx-texlive-tetex-51265-checkout.drv