diff --git a/build/premake4.lua b/build/premake4.lua
index 194fefa70..6436d8035 100644
--- a/build/premake4.lua
+++ b/build/premake4.lua
@@ -166,7 +166,9 @@ end
 	end
 
 	if not _OPTIONS["without-demos"] then
+		if not _OPTIONS["ios"] then
 		include "../Demos"
+		end
   	include "../Extras"
   end
   
diff --git a/src/BulletMultiThreaded/Win32ThreadSupport.cpp b/src/BulletMultiThreaded/Win32ThreadSupport.cpp
index 77d949b88..ae224b59e 100644
--- a/src/BulletMultiThreaded/Win32ThreadSupport.cpp
+++ b/src/BulletMultiThreaded/Win32ThreadSupport.cpp
@@ -449,6 +449,7 @@ void Win32ThreadSupport::deleteBarrier(btBarrier* barrier)
 void Win32ThreadSupport::deleteCriticalSection(btCriticalSection* criticalSection)
 {
 	criticalSection->~btCriticalSection();
+	btAlignedFree(criticalSection);
 }