1 files changed, 6 insertions, 1 deletions
diff --git a/install.sh b/install.sh
index 4b3abe5c6..c5835b014 100755
--- a/install.sh
+++ b/install.sh
@@ -7,5 +7,10 @@ for f; do
   bn=`basename $f`
   dn=`dirname $f`
   install -d "$dest/$dn"
-  install -m 644 $f "$dest/$dn/$bn"
+  case $bn in
+      *.cmxs) install -m 755 $f "$dest/$dn/$bn"
+	      ;;
+      *) install -m 644 $f "$dest/$dn/$bn"
+	 ;;
+  esac
 done