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