diff --git a/collects/tests/racket/benchmarks/common/deriv.o1 b/collects/tests/racket/benchmarks/common/deriv.o1 deleted file mode 100755 index effb9a3620..0000000000 Binary files a/collects/tests/racket/benchmarks/common/deriv.o1 and /dev/null differ