setup_linux.sh: Take correct username when script is called as sudo

In order to do this, we need to check the variable $SUDO_USER.