/gnu/store/gryv4vjy73w20mifkp9ycg3gvgy0fkb2-texlive-tetex-51265-checkout.drv