mit-krb5: tweak for rebuild

This commit is contained in:
Juan RP 2015-05-08 19:24:51 +02:00
parent a7995c33f5
commit 6a4361513c