--- kdc/524.c	2005-06-28 15:59:01.000000000 +0200
+++ kdc/524.c	2005-06-28 15:58:47.000000000 +0200
@@ -37,6 +37,8 @@
 
 #ifndef KRB4
 #include <krb5-v4compat.h>
+#else
+#define MAX_KTXT_LEN 1250
 #endif
 
 /*