diff --git a/tool/run.pl b/tool/run.pl
old mode 100644
new mode 100755