Set krb5 ccache only if krb5 is used