diff --git a/bench/p7-bench b/bench/p7-bench deleted file mode 100755 index 566ec56b..00000000 Binary files a/bench/p7-bench and /dev/null differ