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