diff --git a/NEWS b/NEWS
index 93fc68c6ca6d78e68c4c44f8968e5e1ac847369d..05686a9d91900d30bc7ec36d681899a108ba7f2a 100644
--- a/NEWS
+++ b/NEWS
@@ -33,6 +33,9 @@ New in spot 2.3.2.dev (not yet released)
   - spot::twa_graph::purge_unreachable_states() was misbehaving on
     alternating automata.
 
+  - In bench/stutter/ the .cc files were not compiling due to warnings being
+    caught as errors.
+
   Backward-incompatible changes:
 
   - spot::acc_cond::mark_t::operator bool() has been marked as
diff --git a/bench/stutter/stutter_bench.sh b/bench/stutter/stutter_bench.sh
index 635cebd4c94432530fa5bf8ed8986c607742f01d..5c6c0c1ecb25953c4e041c7e7c2a921b5798f49f 100755
--- a/bench/stutter/stutter_bench.sh
+++ b/bench/stutter/stutter_bench.sh
@@ -1,7 +1,7 @@
 #!/bin/sh
 
-RANDLTL=../../src/bin/randltl
-LTLFILT=../../src/bin/ltlfilt
+RANDLTL=../../bin/randltl
+LTLFILT=../../bin/ltlfilt
 
 echo 'ltl-user-bench.csv:; ./user.sh' > run.mk
 
diff --git a/bench/stutter/stutter_invariance_formulas.cc b/bench/stutter/stutter_invariance_formulas.cc
index 826185d236ae2a9dfd729232c308fcc781f0a762..9d9385123ece7befc3c2c346bd93741a33477460 100644
--- a/bench/stutter/stutter_invariance_formulas.cc
+++ b/bench/stutter/stutter_invariance_formulas.cc
@@ -54,14 +54,14 @@ namespace
 
     int
     process_string(const std::string& input,
-                   const char* filename, int linenum)
+                   const char* filename, int linenum) override
     {
       formula = input;
       return job_processor::process_string(input, filename, linenum);
     }
 
     int
-    process_formula(spot::formula f, const char*, int)
+    process_formula(spot::formula f, const char*, int) override
     {
       spot::twa_graph_ptr a = trans.run(f);
       spot::twa_graph_ptr na = trans.run(spot::formula::Not(f));
diff --git a/bench/stutter/user.sh b/bench/stutter/user.sh
index fae92303e1ed0bd0d29b4117d29d3fd38235aa7c..d52a728764fa0cf7c50d0288af517c221ecf5c7e 100755
--- a/bench/stutter/user.sh
+++ b/bench/stutter/user.sh
@@ -1,7 +1,7 @@
 #!/bin/sh
-RANDLTL=../../src/bin/randltl
-LTLFILT=../../src/bin/ltlfilt
-LTLDO=../../src/bin/ltldo
+RANDLTL=../../bin/randltl
+LTLFILT=../../bin/ltlfilt
+LTLDO=../../bin/ltldo
 
 set -e -x