diff --git a/bin/driver.py b/bin/driver.py old mode 100755 new mode 100644 diff --git a/bin/gmsh_bench.py b/bin/gmsh_bench.py old mode 100755 new mode 100644 diff --git a/bin/grid_regular.py b/bin/grid_regular.py old mode 100755 new mode 100644 diff --git a/tools/mkpoints.py b/tools/mkpoints.py old mode 100755 new mode 100644