--- a/gcc-plugin/src/starpu.c.orig	2012-05-25 15:19:19.818075220 +0200
+++ b/gcc-plugin/src/starpu.c	2012-05-25 15:19:21.790027836 +0200
@@ -2670,7 +2670,6 @@
   VERSION_CHECK (basever);			  /* e.g., "4.6.2" */
   VERSION_CHECK (devphase);
   VERSION_CHECK (revision);
-  VERSION_CHECK (configuration_arguments);
 
 #undef VERSION_CHECK
 
