Index: src/kadmin/dbutil/dump.c
===================================================================
--- src/kadmin/dbutil/dump.c.orig
+++ src/kadmin/dbutil/dump.c
@@ -2028,7 +2028,7 @@ process_k5beta7_record(fname, kcontext, 
 				 linenop);
      else if (strcmp(rectype, "policy") == 0)
 	  process_k5beta7_policy(fname, kcontext, filep, verbose,
-				 linenop);
+				 linenop, NULL);
      else {
 	  fprintf(stderr, "unknown record type \"%s\" on line %d\n",
 		  rectype, *linenop);
@@ -2064,7 +2064,7 @@ process_ov_record(fname, kcontext, filep
 			       linenop);
      else if (strcmp(rectype, "policy") == 0)
 	  process_k5beta7_policy(fname, kcontext, filep, verbose,
-				 linenop);
+				 linenop, NULL);
      else if (strcmp(rectype, "End") == 0)
 	  return -1;
      else {