diff -urEbwB kawa-3.1.1.orig/bin/cgi-servlet.c kawa-3.1.1/bin/cgi-servlet.c
--- kawa-3.1.1.orig/bin/cgi-servlet.c	2022-03-23 07:28:50.707398668 +0100
+++ kawa-3.1.1/bin/cgi-servlet.c	2022-04-01 12:09:31.045650704 +0200
@@ -21,7 +21,7 @@
 #endif
 #endif
 
-int
+void
 main(int argc, char** argv)
 {
   char* progname = argv[0];