Update installation/scripts-linux/setenv-linux64.sh