diff --git a/src/bin/ltldo.cc b/src/bin/ltldo.cc
index 7fcf799ed..61d7f43a8 100644
--- a/src/bin/ltldo.cc
+++ b/src/bin/ltldo.cc
@@ -326,6 +326,7 @@ namespace
 	    };
 	}
       f->destroy();
+      spot::cleanup_tmpfiles();
       ++round;
       return 0;
     }