diff --git a/tool/insns2vm.rb b/tool/insns2vm.rb
old mode 100644
new mode 100755