diff --git a/tools/criterionbench.hs b/tools/criterionbench.hs
old mode 100644
new mode 100755
diff --git a/tools/dayssincetag.hs b/tools/dayssincetag.hs
old mode 100644
new mode 100755
diff --git a/tools/doctest.hs b/tools/doctest.hs
old mode 100644
new mode 100755
diff --git a/tools/generatejournal.hs b/tools/generatejournal.hs
old mode 100644
new mode 100755
diff --git a/tools/listbydeps.hs b/tools/listbydeps.hs
old mode 100644
new mode 100755
diff --git a/tools/progressionbench.hs b/tools/progressionbench.hs
old mode 100644
new mode 100755
diff --git a/tools/regressiontest.py b/tools/regressiontest.py
old mode 100644
new mode 100755
diff --git a/tools/runhledgerhpc b/tools/runhledgerhpc
old mode 100644
new mode 100755
diff --git a/tools/simplifyprof.hs b/tools/simplifyprof.hs
old mode 100644
new mode 100755
diff --git a/tools/trhsx b/tools/trhsx
old mode 100644
new mode 100755
diff --git a/tools/unittest.hs b/tools/unittest.hs
old mode 100644
new mode 100755