/gnu/store/31v21cxwlbk9z26rh4y1vp1cvj8drw6d-krb5-1.20.tar.xz.drv