K 10 svn:author V 6 gerald K 8 svn:date V 27 2018-01-21T21:17:11.990426Z K 7 svn:log V 187 Configure --without-krb5 aka Kerberos support. This should not make a real difference (and definitely not for clean builds), but makes this explicit and also avoids a configure warning. END