/gnu/store/hraw6ldd1ybl9qr33rs98b0gab2b06vr-krb5-1.20.tar.xz.drv