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