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