/gnu/store/4bibcjr78fkywwpfb75hg40xrhhv8vl0-texlive-tetex-51265-checkout.drv