/gnu/store/8rgiyrd3wv8dhdpfwcxgmqgra5jdkcgy-texlive-tetex-51265.drv