/gnu/store/0pj5agrzqi5f0wjh0akmnmlhrk31fgdv-texlive-tetex-51265-checkout.drv