/gnu/store/8m727apdbrkfnrz6h81h9rr55ahcl983-texlive-tetex-51265-checkout.drv