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