diff --git a/dev/tests/auto-completion b/dev/tests/auto-completion
old mode 100644
new mode 100755
diff --git a/dev/tests/auto-completion-tool b/dev/tests/auto-completion-tool
old mode 100644
new mode 100755
diff --git a/dev/tests/correct-pony+f b/dev/tests/correct-pony+f
old mode 100644
new mode 100755
diff --git a/dev/tests/correct-pony-f b/dev/tests/correct-pony-f
old mode 100644
new mode 100755
diff --git a/dev/tests/test-everything b/dev/tests/test-everything
old mode 100644
new mode 100755