/gnu/store/84gq3f4vd9gvrpa4yq8hjkvkh8sx8whk-texlive-tetex-51265.drv