fix setup_ubuntu.sh