//etc/profile.d/krb5-workstation.sh