diff --git a/build.php b/build.php
index cb2567c0f2df90f2c66c85ebb53b3c15bee6f48d..ed4b96f619b678514d962342b57257a0c8dc8740 100755
--- a/build.php
+++ b/build.php
@@ -136,6 +136,7 @@ if(!copy($OUTFILE, $OUTFILE2)){
     _abort("Could not copy $OUTFILE to $OUTFILE2");
 }
 _ok("file created: '$OUTFILE2'");
+_exec("chmod +x $OUTFILE2");
 
 _h1("Create readme");
 $readme="{$OUTFILE2}__README.md";