diff -r a478cb9786fd -r 98af3be91847 src/cm/converters/abi_converters.py
--- a/src/cm/converters/abi_converters.py	Thu Jul 21 15:02:50 2011 +0200
+++ b/src/cm/converters/abi_converters.py	Thu Jul 21 15:03:38 2011 +0200
@@ -256,12 +256,12 @@
             if infile:
                 infile.close()
             top = temp_dir
-            #for root, dirs, files in os.walk(top, topdown=False):
-            #    for name in files:
-            #        os.remove(os.path.join(root, name))
-            #    for name in dirs:
-            #        os.rmdir(os.path.join(root, name))
-            #os.rmdir(top)
+            for root, dirs, files in os.walk(top, topdown=False):
+                for name in files:
+                    os.remove(os.path.join(root, name))
+                for name in dirs:
+                    os.rmdir(os.path.join(root, name))
+            os.rmdir(top)
           except:
             pass