/gnu/store/3ni3yjpj5v8cmk06z8yv5nwyv5bffzsq-texlive-tetex-51265.drv