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