Update of install-linux.sh: addition of the cURL installation