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