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