fix permission error on trying to overwrite read-only template files

Signed-off-by: Matthias J. Kannwischer <[email protected]>

cbmc/proofs/run-cbmc-proofs.py

@@ -313,6 +313,11 @@ async def configure_proof_dirs( # pylint: disable=too-many-arguments
         profiling = [
             "ENABLE_MEMORY_PROFILING=true"] if enable_memory_profiling else []
 
+        # delete old pathreports
+        proc = await asyncio.create_subprocess_exec(
+            "make", "veryclean", cwd=path,
+            stdout=asyncio.subprocess.PIPE, stderr=asyncio.subprocess.PIPE)
+
         # Allow interactive tasks to preempt proof configuration
         proc = await asyncio.create_subprocess_exec(
             "nice", "-n", "15", "make", *pools,