diff --git a/README.solver b/README.solver
old mode 100755
new mode 100644
diff --git a/Repository.mk b/Repository.mk
old mode 100755
new mode 100644
diff --git a/unusedcode.easy b/unusedcode.easy
old mode 100755
new mode 100644