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