changed kerberos script from csh to bash