configuring Firefox to use Kerberos