Packaging for krb5