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