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