diff --git a/build/probe_certs.pl b/build/probe_certs.pl old mode 100644 new mode 100755 diff --git a/build/probe_nocerts.pl b/build/probe_nocerts.pl old mode 100644 new mode 100755