diff --git a/etc/proof/utils/pq2/pq2-ana-dist b/etc/proof/utils/pq2/pq2-ana-dist
old mode 100644
new mode 100755
diff --git a/etc/proof/utils/pq2/pq2-redistribute b/etc/proof/utils/pq2/pq2-redistribute
old mode 100644
new mode 100755
diff --git a/etc/proof/utils/pq2/setup-pq2 b/etc/proof/utils/pq2/setup-pq2
old mode 100644
new mode 100755