Update install-linux.sh

Just to make sure that cabal is up to date (it was not the case when I used the script last week).