Update dev-setup-ubuntu.md