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