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