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