minor addition in kerberos.sh