/gnu/store/3f5xgp4vz9q99f28jrhw0l0c4snrwkl5-texlive-tetex-51265-checkout.drv