--- configure.orig	2016-08-03 12:11:08.927542973 +0200
+++ configure	2016-08-03 12:11:31.087833041 +0200
@@ -7105,7 +7105,7 @@
     GetSystemInfo(&si);
     result = si.dwPageSize;
 #else
-    result = sysconf(_SC_PAGESIZE);
+    result = 65536
 #endif
     if (result == -1) {
 	return 1;