--- configure.orig	2012-07-01 17:01:26.754771029 +0200
+++ configure	2012-07-01 17:02:05.402843729 +0200
@@ -5690,7 +5690,7 @@ int
 main ()
 {
 
-    #if PPL_VERSION_MAJOR != 0 || PPL_VERSION_MINOR < 11
+    #if PPL_VERSION_MAJOR > 2 || PPL_VERSION_MINOR > 20
     choke me
     #endif