/gnu/store/5sr51jv5ag71bpy5jh13hrjgb1jikf56-texlive-tetex-51265.drv