diff --git a/jbmc.inc b/jbmc.inc
index 1dd6e1e..c84128e 100755
--- a/jbmc.inc
+++ b/jbmc.inc
@@ -10,6 +10,7 @@ run()
 {
   mkdir -p $BM_DIR/classes
   javac -g -cp $BM_DIR/classes -d $BM_DIR/classes "${BM[@]}"
+  rm $BM_DIR/classes/org/sosy_lab/sv_benchmarks/Verifier.class
   jar -cfe $BM_DIR/task.jar Main -C $BM_DIR/classes .
   export TASK="$BM_DIR/task.jar"