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