Update dev-setup-linux.md