diff --git a/regression/goto-gcc/Makefile b/regression/goto-gcc/Makefile
index 455989201c6..f490a908f8b 100644
--- a/regression/goto-gcc/Makefile
+++ b/regression/goto-gcc/Makefile
@@ -39,4 +39,4 @@ clean:
 	find -name '*.out' -execdir $(RM) '{}' \;
 	find -name '*.gb' -execdir $(RM) '{}' \;
 	find -name '*.goto-cc-saved' -execdir $(RM) '{}' \;
-	$(RM) tests.log archives/lib_ourarchive.a archives/foo.o
+	$(RM) tests.log archives/libour_archive.a archives/foo.o