/gnu/store/35kbayyljj12bmz76mf0xcsdpg3ba2xs-texlive-tetex-59745.drv