diff --git a/.gitignore b/.gitignore
index 75bd23d36b..faf1513653 100644
--- a/.gitignore
+++ b/.gitignore
@@ -29,7 +29,6 @@ linux-headers
 .goblint*/
 goblint_temp_*/
 
-src/spec/graph
 .vagrant
 
 g2html.jar
diff --git a/scripts/regression2sv-benchmarks.py b/scripts/regression2sv-benchmarks.py
index 8f74a70f52..7bcc1c7ea3 100755
--- a/scripts/regression2sv-benchmarks.py
+++ b/scripts/regression2sv-benchmarks.py
@@ -31,7 +31,6 @@
     "09-regions_34-escape_rc", # duplicate of 04/45
     "09-regions_35-list2_rc-offsets-thread", # duplicate of 09/03
     "10-synch_17-glob_fld_nr", # duplicate of 05/08
-    "19-spec_02-mutex_rc", # duplicate of 04/01
 
     "29-svcomp_01-race-2_3b-container_of", # duplicate sv-benchmarks
     "29-svcomp_01-race-2_4b-container_of", # duplicate sv-benchmarks