diff --git a/devtools/rmpyc b/devtools/rmpyc old mode 100644 new mode 100755