diff --git a/libs/minisat/00_UPDATE.sh b/libs/minisat/00_UPDATE.sh
old mode 100644
new mode 100755