/gnu/store/8dbxhjgb3npyqi6lajvbkycmvc8pnkxz-texlive-tetex-51265-checkout.drv