diff --git a/ci/images/install_images.sh b/ci/images/install_images.sh old mode 100644 new mode 100755