diff --git a/src/rxgen/rpc_main.c b/src/rxgen/rpc_main.c
index c16f36db64..7ae0893306 100644
--- a/src/rxgen/rpc_main.c
+++ b/src/rxgen/rpc_main.c
@@ -516,7 +516,6 @@ h_output(char *infile, char *define, int extend, char *outfile, int append)
 	f_print(fout, "#include \"rx/rx_globals.h\"\n");
     }
     f_print(fout, "#else	/* KERNEL */\n");
-    f_print(fout, "#include <afsconfig.h>\n");
     f_print(fout, "#include <afs/param.h>\n");
     f_print(fout, "#include <afs/stds.h>\n");
     f_print(fout, "#include <sys/types.h>\n");