/gnu/store/ag6ah33y61b9c63hkf4zwc1xgijh7jdj-texlive-tetex-51265.drv