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