/src/lib/krb5/ccache/stdio/