Hello,
I posted a patch in BerliOS a few days ago and it hasn't been committed or replied to yet, so I am posting it here too in case no one is looking there:
(http://developer.berlios.de/patch/?func=detailpatch&patch_id=1638&group_id=5358)
Index: src/sdk/manager.cpp
===================================================================
--- src/sdk/manager.cpp	(revision 3222)
+++ src/sdk/manager.cpp	(working copy)
@@ -326,12 +326,12 @@
             wxMemoryFSHandler::AddFile(file, buf, len);
         }
         wxXmlResource::Get()->Load(memoryFile);
-        delete buf;
+        delete[] buf;
         return true;
     }
     catch (...)
     {
-        delete buf;
+        delete[] buf;
         return false;
     }
 }
Regards,
Itay