--- krb5-1.9.orig/src/lib/kadm5/srv/server_init.c 2010-09-29 23:29:14.000000000 +0200 +++ krb5-1.9/src/lib/kadm5/srv/server_init.c 2011-01-31 12:47:29.000000000 +0100 @@ -17,7 +17,6 @@ static char *rcsid = "$Header$"; #include #include #include -#include #include "k5-int.h" /* needed for gssapiP_krb5.h */ #include #include