1 files changed, 2 insertions, 1 deletions
diff --git a/rcfile_l.l b/rcfile_l.l
index 9d36b41e..a23e4dc0 100644
--- a/rcfile_l.l
+++ b/rcfile_l.l
@@ -34,7 +34,8 @@ local(domains)	{ return LOCALDOMAINS; }
 proto(col)? 	{ return PROTOCOL; }
 port		{ return PORT; }
 auth(enticate)?	{ return AUTHENTICATE; }
-kerberos	{ return KERBEROS; }
+kerberos_v4	{ return KERBEROS_V4; }
+kerberos	{ return KERBEROS_V4; }
 timeout		{ return TIMEOUT;}
 envelope	{ return ENVELOPE; }