--- cloog-0.15/include/cloog/ppl_backend.h.jj	2009-04-06 06:11:40.000000000 -0400
+++ cloog-0.15/include/cloog/ppl_backend.h	2009-04-29 06:37:13.000000000 -0400
@@ -57,6 +57,10 @@ extern "C"
   typedef mpz_t Value;
 #define VALUE_FMT "%s"
 
+#if __GNU_MP_VERSION < 4 || (__GNU_MP_VERSION == 4 && __GNU_MP_VERSION_MINOR < 2)
+#define mp_get_memory_functions(a, b, c) *c = (void *)free
+#endif
+
 #define value_init(val) mpz_init (val)
 #define value_assign(v1, v2) mpz_set (v1, v2)
 #define value_set_si(val, i) mpz_set_si (val, i)