Fix setup-ubuntu.sh