/gnu/store/s4vrm225qjc7x2mkspf3m30m5gcn18a0-texlive-tetex-51265-checkout.drv