diff --git a/software/install_monodevelop.sh b/software/install_monodevelop.sh old mode 100755 new mode 100644