Index: java/installer2/src/net/oni2/aeinstaller/backend/oni/management/ToolsManager.java
===================================================================
--- java/installer2/src/net/oni2/aeinstaller/backend/oni/management/ToolsManager.java	(revision 772)
+++ java/installer2/src/net/oni2/aeinstaller/backend/oni/management/ToolsManager.java	(revision 784)
@@ -125,4 +125,8 @@
 							targetFile.delete();
 						FileUtils.copyFileToDirectory(f, targetFolder);
+						if (f.canExecute())
+							CaseInsensitiveFile.getCaseInsensitiveFile(
+									targetFolder, f.getName()).setExecutable(
+									true);
 					}
 				}