--- main.c	2010-04-26 20:26:41.000000000 +0200
+++ main.new.c	2011-06-13 14:11:03.798181639 +0200
@@ -305,6 +305,7 @@
 	if (extra_stack == NULL)
 		fatal(_("out of memory"));
 	(void) stackoverflow_install_handler(catchstackoverflow, extra_stack, STACK_SIZE);
+	free(extra_stack);
 #undef STACK_SIZE
 
 	myname = gawk_name(argv[0]);