Fixed some bugs in setup-ubuntu.sh