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