from os import listdir, path
from shutil import rmtree
from tempfile import gettempdir

tempdir = gettempdir()
for i in listdir(tempdir):
    if i.startswith('devito-'):
        target = path.join(tempdir, i)
        rmtree(target)

@@ -163,16 +163,33 @@
 ito-'):%0A
+        try:%0A    
         
@@ -227,16 +227,20 @@
         
+    
 rmtree(t
@@ -246,8 +246,41 @@
 target)%0A
+        except:%0A            pass%0A

Fix clear-cache script