/gnu/store/2yfw0mpyyzrr1j3245q8px0g4x5k2qj5-texlive-tetex-51265-checkout.drv