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