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