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