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