Fix: fix a little bug in install_ubuntu.sh