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