/gnu/store/7xmaf1d2cwq7i73jcy4fccp8s4mzfm5v-krb5-1.18.tar.xz.drv