/gnu/store/41dcrc8i81hqa02r3qzac86mv52qa00k-texlive-tetex-51265.drv