Refining SetupLinux.sh