I found out that the non-existant file to be opened is called /tmp/krb5cc_p<digits> while the expected, working one, should be /tmp/krb5cc_<UID>. Perhaps it has something to do with PAM under Linux (SuSE) Calin Barbat