Update setenv-linux64.sh