diff --git a/tools/Makefile b/tools/Makefile old mode 100755 new mode 100644 diff --git a/tools/mpfr/Makefile b/tools/mpfr/Makefile old mode 100755 new mode 100644 diff --git a/tools/mpfr/patches/001-only_src.patch b/tools/mpfr/patches/001-only_src.patch old mode 100755 new mode 100644 diff --git a/tools/mpfr/patches/100-freebsd-compat.patch b/tools/mpfr/patches/100-freebsd-compat.patch old mode 100755 new mode 100644