Temporary measure: if no KRB5 is defined, add "no-krb5" to the
options.  This is so mk1mf.pl can pick it up from Makefile.
diff --git a/Configure b/Configure
index 9a4c0f5..718c2e6 100755
--- a/Configure
+++ b/Configure
@@ -681,6 +681,7 @@
 	|| $withargs{"krb5-flavor"} eq "")
 	{
 	$cflags="-DNO_KRB5 $cflags";
+	$options.=" no-krb5" unless $no_krb5;
 	}
 else
 	{