diff --git a/util/config b/util/config
old mode 100644
new mode 100755
diff --git a/util/createdoxygen.php b/util/createdoxygen.php
old mode 100644
new mode 100755
diff --git a/util/vagrant_provision.sh b/util/vagrant_provision.sh
old mode 100644
new mode 100755
diff --git a/util/vagrant_vhost.sh b/util/vagrant_vhost.sh
old mode 100644
new mode 100755