I don't think the krb5cc should be a file at all. Not in /tmp and not in $HOME either. MacOSX and Windows have an API: style cache. Harald.