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