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