diff --git a/scripts/mk_consts_files.py b/scripts/mk_consts_files.py old mode 100644 new mode 100755 diff --git a/scripts/mk_def_file.py b/scripts/mk_def_file.py old mode 100644 new mode 100755 diff --git a/scripts/mk_gparams_register_modules_cpp.py b/scripts/mk_gparams_register_modules_cpp.py old mode 100644 new mode 100755 diff --git a/scripts/mk_install_tactic_cpp.py b/scripts/mk_install_tactic_cpp.py old mode 100644 new mode 100755 diff --git a/scripts/mk_mem_initializer_cpp.py b/scripts/mk_mem_initializer_cpp.py old mode 100644 new mode 100755 diff --git a/scripts/mk_pat_db.py b/scripts/mk_pat_db.py old mode 100644 new mode 100755 diff --git a/scripts/pyg2hpp.py b/scripts/pyg2hpp.py old mode 100644 new mode 100755 diff --git a/scripts/update_api.py b/scripts/update_api.py old mode 100644 new mode 100755