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