diff --git a/licences/fetch_licences.sh b/licences/fetch_licences.sh old mode 100644 new mode 100755 diff --git a/licences/install_tool.sh b/licences/install_tool.sh old mode 100644 new mode 100755