diff -r 747afbba9aa8 -r b1f22a1e2d4c awk/awk.patch
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/awk/awk.patch	Tue Aug 28 18:53:00 2012 +0200
@@ -0,0 +1,21 @@
+Index: b.c
+--- b.c.orig	2005-02-08 20:21:44 +0100
++++ b.c	2006-09-15 19:24:23 +0200
+@@ -720,7 +720,7 @@
+ 
+ #ifndef HAS_ISBLANK
+ 
+-int (isblank)(int c)
++static int (awk_isblank)(int c)
+ {
+ 	return c==' ' || c=='\t';
+ }
+@@ -734,7 +734,7 @@
+ } charclasses[] = {
+ 	{ "alnum",	5,	isalnum },
+ 	{ "alpha",	5,	isalpha },
+-	{ "blank",	5,	isblank },
++	{ "blank",	5,	awk_isblank },
+ 	{ "cntrl",	5,	iscntrl },
+ 	{ "digit",	5,	isdigit },
+ 	{ "graph",	5,	isgraph },