Index: src/benchmark/schedext/cfa1.c
===================================================================
--- src/benchmark/schedext/cfa1.c	(revision 9f0b975c56f63828c0654bdcb93739755b3f66aa)
+++ src/benchmark/schedext/cfa1.c	(revision bb7e3d425111b7f508660c9c316effc383ee1733)
@@ -40,5 +40,4 @@
 	argc = margc;
 	argv = margv;
-	processor p;
 	T t;
 	return wait(m1);
Index: src/benchmark/schedext/cfa2.c
===================================================================
--- src/benchmark/schedext/cfa2.c	(revision 9f0b975c56f63828c0654bdcb93739755b3f66aa)
+++ src/benchmark/schedext/cfa2.c	(revision bb7e3d425111b7f508660c9c316effc383ee1733)
@@ -40,5 +40,4 @@
 	argc = margc;
 	argv = margv;
-	processor p;
 	T t;
 	return wait(m1, m2);
Index: src/benchmark/schedext/cfa4.c
===================================================================
--- src/benchmark/schedext/cfa4.c	(revision 9f0b975c56f63828c0654bdcb93739755b3f66aa)
+++ src/benchmark/schedext/cfa4.c	(revision bb7e3d425111b7f508660c9c316effc383ee1733)
@@ -40,5 +40,4 @@
 	argc = margc;
 	argv = margv;
-	processor p;
 	T t;
 	return wait(m1, m2, m3, m4);
Index: src/benchmark/schedext/upp.cc
===================================================================
--- src/benchmark/schedext/upp.cc	(revision 9f0b975c56f63828c0654bdcb93739755b3f66aa)
+++ src/benchmark/schedext/upp.cc	(revision bb7e3d425111b7f508660c9c316effc383ee1733)
@@ -39,5 +39,4 @@
 	argc = margc;
 	argv = margv;
-	uProcessor p;
 	T t;
 	return m.wait();