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