--- gfan0.5/app_minkowski.cpp.orig	2013-03-11 19:53:30.252937718 +0100
+++ gfan0.5/app_minkowski.cpp	2013-03-11 19:53:37.346265847 +0100
@@ -160,7 +160,7 @@
 	    //log0 fprintf(Stderr,"4");
 	    f.insert(c);
 	    //log0 fprintf(Stderr,"5\n");
-	    static int i;
+	    //static int i;
 	    //log0 fprintf(Stderr,"inserted:%i\n",++i);
 	  }
 	log1 fprintf(Stderr,"Resolving symmetries.\n");