diff --git a/scripts/dev/gen_verify_stub b/scripts/dev/gen_verify_stub old mode 100644 new mode 100755