Index: src/benchmark/schedext/cfa1.c
===================================================================
--- src/benchmark/schedext/cfa1.c	(revision 9f0b975c56f63828c0654bdcb93739755b3f66aa)
+++ src/benchmark/schedext/cfa1.c	(revision 8a48f4bffb1d837d9b8d1b78efd7a4fb00ede590)
@@ -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 8a48f4bffb1d837d9b8d1b78efd7a4fb00ede590)
@@ -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 8a48f4bffb1d837d9b8d1b78efd7a4fb00ede590)
@@ -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 8a48f4bffb1d837d9b8d1b78efd7a4fb00ede590)
@@ -39,5 +39,4 @@
 	argc = margc;
 	argv = margv;
-	uProcessor p;
 	T t;
 	return m.wait();