setup: fixes for setup-linux.sh