diff --git a/Server/docker/build_images.sh b/Server/docker/build_images.sh old mode 100755 new mode 100644