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