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