/gnu/store/j2s9h1z5ajr45gxyxpgchs0yr02l91xx-texlive-tetex-51265.drv